Notes on Hyper-minimization
نویسنده
چکیده
These notes report on recent advances in the relatively new area of hyper-minimization. Several open questions that were raised in the pioneering article [Badr, Geffert, and Shipman. Hyper-minimizing minimized deterministic finite state automata. RAIRO Theor. Inf. Appl., 43(1):69–94, 2009] are addressed here and the solutions, which are mostly taken from the literature, are presented in a uniform style. In particular, the most efficient hyper-minimization algorithms for several error profiles are presented and the languages of hyper-minimal automata are investigated.
منابع مشابه
An nlogn algorithm for hyper-minimizing a (minimized) deterministic automaton
We improve a recent result [Badr: Hyper-minimization inO(n). Int. J. Found. Comput. Sci. 20, 2009] for hyper-minimized nite automata. Namely, we present an O(n log n) algorithm that computes for a given deterministic nite automaton (dfa) an almostequivalent dfa that is as small as possible such an automaton is called hyper-minimal. Here two nite automata are almost-equivalent if and only if the...
متن کاملAn nlogn Algorithm for Hyper-minimizing States in a (Minimized) Deterministic Automaton
We improve a recent result [A. Badr: Hyper-Minimization in O(n). In Proc. CIAA, LNCS 5148, 2008] for hyper-minimized finite automata. Namely, we present an O(n logn) algorithm that computes for a given finite deterministic automaton (dfa) an almost equivalent dfa that is as small as possible—such an automaton is called hyper-minimal. Here two finite automata are almost equivalent if and only if...
متن کاملHyper-Minimizing States in a (Minimized) Deterministic Automaton
We improve a recent result [A. Badr: Hyper-Minimization in O(n). In Proc. CIAA, LNCS 5148, 2008] for hyper-minimized finite automata. Namely, we present an O(n log n) algorithm that computes for a given finite deterministic automaton (dfa) an almost equivalent dfa that is as small as possible—such an automaton is called hyper-minimal. Here two finite automata are almost equivalent if and only i...
متن کاملMinimal and Hyper-Minimal Biautomata
We compare deterministic finite automata (DFAs) and biautomata under the following two aspects: structural similarities between minimal and hyper-minimal automata, and computational complexity of the minimization and hyper-minimization problem. Concerning classical minimality, the known results such as isomorphism between minimal DFAs, and NL-completeness of the DFA minimization problem carry o...
متن کاملHyper-optimization for Deterministic Tree Automata
A recent minimization technique, called hyper-minimization, permits reductions of language representations beyond the limits imposed by classical semantics-preserving minimization. Naturally, the semantics is not preserved by hyper-minimization; rather the reduced representation, which is called hyper-minimal, can accept a language that has a nite symmetric di erence to the language of the orig...
متن کامل